翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

software verification : ウィキペディア英語版
software verification
Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
There are two fundamental approaches to verification:
* ''Dynamic verification'', also known as Test or Experimentation - This is good for finding bugs
* ''Static verification'', also known as Analysis - This is useful for proving correctness of a program although it may result in false positives
== Dynamic verification (Test, experimentation) ==

Dynamic verification is performed during the execution of software, and dynamically checks its behaviour; it is commonly known as the Test phase.
Verification is a Review Process.
Depending on the scope of tests, we can categorize them in three families:
* ''Test in the small'': a test that checks a single function or class (Unit test)
* ''Test in the large'': a test that checks a group of classes, such as
*
* Module test (a single module)
*
* Integration test (more than one module)
*
* System test (the entire system)
* ''Acceptance test'': a formal test defined to check acceptance criteria for a software
*
* Functional test
*
* Non functional test (performance, stress test)
Software verification is often confused with software validation. The difference between ''verification'' and ''validation'':
* Software ''verification'' asks the question, "Are we building the product right?"; that is, does the software conform to its specification.
* Software ''validation'' asks the question, "Are we building the right product?"; that is, is the software doing what the user really requires.
The aim of software verification is to find the errors introduced by an activity, i.e. check if the product of the activity is as correct as it was at the beginning of the activity.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「software verification」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.